Knihy od autora Martin Leucker

Zobrazeno 1 – 7 z 7 výsledků

1. 

   Formal Methods

   Marsha Chechik, Joost-Pieter Katoen, Martin Leucker | Springer, Berlin, 2023

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   3037 Kč

   Koupit
2. 

   Runtime Verification

   Christian Colombo, Martin Leucker | Springer Nature Switzerland AG, 2018

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2357 Kč

   Koupit
3. 

   Theoretical Aspects of Computing - ICTAC 2009

   Martin Leucker, Charles Carroll Morgan | Springer, Berlin, 2009

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1540 Kč

   Koupit
4. 

   Formal Methods in Outer Space

   Martin Leucker, Yli?s Falcone | Springer Nature Switzerland AG, 2021

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1676 Kč

   Koupit
5. 

   Runtime Verification

   Martin Leucker | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1540 Kč

   Koupit
6. 

   Formal Methods: Applications and Technology

   Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1540 Kč

   Koupit
7. 

   Theoretical Aspects of Computing - ICTAC 2015

   Martin Leucker, Camilo Rueda, Frank D. Valencia | Springer International Publishing AG, 2015

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1540 Kč

   Koupit

Vracející se zákazníci mají slevy a další benefity. Zjistěte více